Listing 1 - 10 of 18 | << page >> |
Sort by
|
Choose an application
The essays in this volume illuminate a central topic in ethical theory: moral dilemmas. Some contemporary philosophers dispute the traditional view that a true moral dilemma -- a situation in which a person has two irreconcilable moral duties -- cannot exist. This collection provides the historical background to the ongoing debate with selections from Kant, Mill, Bradley, and Ross. The best recent work on the question is represented in essays by Donagan, Foot, Hare, Marcus, Nagel, van Fraassen, Williams, and others.
Dilemma. --- Ethics. --- Dilemma --- Ethics --- Deontology --- Ethics, Primitive --- Ethology --- Moral philosophy --- Morality --- Morals --- Philosophy, Moral --- Science, Moral --- Philosophy --- Values --- Decision making --- Logic --- Syllogism
Choose an application
Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Congresses --- Congrès --- Logique symbolique. (Congrès) --- Logica (Symbolische). (Congres) --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism
Choose an application
Mathematical logic --- Logic, Symbolic and mathematical --- Set theory --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Logic, symbolic and mathematical --- Mathematics --- Algebra, Abstract --- Metamathematics --- Syllogism --- Logique mathématique --- Théorie des ensembles
Choose an application
Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Decidability (Mathematical logic) --- Computable functions --- Logic, symbolic and mathematical --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Constructive mathematics --- Logique mathématique --- Récursivité, Théorie de la --- Logique mathematique --- Calculabilite
Choose an application
Language and languages --- Logic, Symbolic and mathematical --- Reference (Philosophy) --- 1 WITTGENSTEIN, LUDWIG --- Referring, Theory of --- Theory of referring --- Philosophy --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- 1 WITTGENSTEIN, LUDWIG Filosofie. Psychologie--WITTGENSTEIN, LUDWIG --- Filosofie. Psychologie--WITTGENSTEIN, LUDWIG --- Wittgenstein, Ludwig, --- Philosophy of language --- Wittgenstein, Ludwig
Choose an application
This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists and theoretical computer scientists. This account for non-specialists in these and other disciplines.
Constructive mathematics. --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Mathematics, Constructive --- Logic, Symbolic and mathematical --- Mathématiques constructives --- Logique mathématique. --- Constructive mathematics --- Logique mathématique --- Intuitionnisme --- Intuition --- #KVIV --- 51
Choose an application
Completed in 1983, this work culminates nearly half a century of the late Alfred Tarski's foundational studies in logic, mathematics, and the philosophy of science. Written in collaboration with Steven Givant, the book appeals to a very broad audience, and requires only a familiarity with first-order logic. It is of great interest to logicians and mathematicians interested in the foundations of mathematics, but also to philosophers interested in logic, semantics, algebraic logic, or the methodology of the deductive sciences, and to computer scientists interested in developing very simple computer languages rich enough for mathematical and scientific applications.
Mathematical logic --- Set theory --- Logic, symbolic and mathematical --- Logic, Symbolic and mathematical --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Mathematics --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Syllogism --- Set theory. --- Logic, Symbolic and mathematical. --- Théorie des ensembles. --- Logique symbolique et mathématique. --- Axiomatische Mengenlehre. --- Mathematische Logik. --- Mengenlehre. --- Verzamelingen (wiskunde). --- Teoria Dos Conjuntos. --- Théorie des ensembles
Choose an application
Formal languages --- Algorithms --- Logic, Symbolic and mathematical --- Langages formels --- Algorithmes --- Logique symbolique et mathématique --- 681.3*F3 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Formalization (Linguistics) --- Language and languages --- Machine theory --- Algorism --- Algebra --- Arithmetic --- Logics and meanings of programs (Theory of computation) --- Foundations --- Algorithms. --- Formal languages. --- Logic, Symbolic and mathematical. --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- Logique symbolique et mathématique
Choose an application
This volume contains abridged versions of most of the sectional talks and some invited lectures given at the International Conference on Fundamentals of Computation Theory held at Kazan State University, Kazan, USSR, June 22-26, 1987. The conference was the sixth in the series of FCT Conferences organized every odd year, and the first one to take place in the USSR. FCT '87 was organized by the Section of Discrete Mathematics of the Academy of Sciences in the USSR, the Moscow State University (Department of Discrete Mathematics), and the Kazan State University (Department of Theoretical Cybernetics). This volume contains selected contributions to the following fields: Mathematical Models of Computation, Synthesis and Complexity of Control Systems, Probabilistic Computations, Theory of Programming, Computer-Assisted Deduction. The volume reflects the fact that FCT '87 was organized in the USSR: A wide range of problems typical of research in Mathematical Cybernetics in the USSR is comprehensively represented.
Computer science --- 681.3*B1 --- 681.3*F0 --- 681.3*H0 --- Control structures and microprogramming--(hardware) --- Computerwetenschap--?*F0 --- Computerwetenschap--?*H0 --- 681.3*B1 Control structures and microprogramming--(hardware) --- Computer science. --- Computer network architectures. --- Logic, Symbolic and mathematical. --- Computer software. --- Combinatorics. --- Computation by Abstract Devices. --- Computer System Implementation. --- Mathematical Logic and Foundations. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Combinatorics --- Algebra --- Mathematical analysis --- Software, Computer --- Computer systems --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Informatics --- Science --- Informatique --- Mathématiques --- Mathématiques.
Choose an application
Computer science --- Mathematical logic --- Artificial intelligence. Robotics. Simulation. Graphics --- Electronic digital computers --- Logic, Symbolic and mathematical --- Programmation des ordinateurs --- Logique symbolique et mathématique --- Programming --- 510.6 --- Computer programming --- 681.3*F4 --- 681.3*I2 --- Computers --- Electronic computer programming --- Electronic data processing --- Programming (Electronic computers) --- Coding theory --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Mathematical logic and formal languages (Theory of computation) --- Artificial intelligence. AI --- Computer programming. --- Logic, Symbolic and mathematical. --- 681.3*I2 Artificial intelligence. AI --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 510.6 Mathematical logic --- Logique symbolique et mathématique --- Verification --- Modal Logic --- Parallelism --- Temporal Logic
Listing 1 - 10 of 18 | << page >> |
Sort by
|